New Classes of Residue Supplementary Difference Systems

A Theorem concerning Systems of Residue Classes

By system we mean a multi-set whose elements are unordered but may occur repeatedly. FollowingŠ. Znám [8] we use a(n) to denote the residue class { x ∈ Z : x ≡ a (mod n) }. For a system (1) A = {a i (n i)} k i=1 of residue classes, the n i are called its moduli. Definition. An integer T is said to be a covering period of (1) if it is a period of the characteristic function of the set k i=1 a i ...

New classes of Lyapunov type inequalities of fractional $Delta$-difference Sturm-Liouville problems with applications

‎In this paper‎, ‎we consider a new study about fractional $Delta$-difference equations‎. ‎We consider two special classes of Sturm-Liouville problems equipped with fractional $Delta$-difference operators‎. ‎In couple of steps‎, ‎the Lyapunov type inequalities for both classes will be obtained‎. ‎As application‎, ‎some qualitative behaviour of mentioned fractional problems such as stability‎, ‎...

Products in Residue Classes

Abstract. We consider a problem of P. Erdős, A. M. Odlyzko and A. Sárkőzy about the representation of residue classes modulom by products of two not too large primes. While it seems that even the Extended Riemann Hypothesis is not powerful enough to achieve the expected results, here we obtain some unconditional results “on average” over moduli m and residue classes modulo m and somewhat strong...

Classifying Isomorphic Residue Classes

We report on a case study on combining proof planning with computer algebra systems. We construct proofs for basic algebraic properties of residue classes as well as for isomorphisms between residue classes using di erent proving techniques, which are implemented as strategies in a multi-strategy proof planner. We show how these techniques help to successfully derive proofs in our domain and ex...

Classifying Isomorphi Residue Classes